// #include<stdio.h> 第一种方法正确但是超时

// int main()
// {
//     int m, n, max = 0;
//     scanf("%d %d", &m, &n);
    
//     for(m; m <= n; m ++)
//     {
//         if(m % 7 == 0 && m % 4 != 0)
//         {
//             max = m;
            
//         }
//     }
//     if(max == 0) printf("no");
//     else printf("%d", max);
    
//     return 0;
// }
#include<stdio.h>
int main()
{
    int m, n, count = 0;
    scanf("%d %d", &m, &n);
    for(n; n >= m; n --)
    {
        if(n % 7 == 0 && n % 4 != 0)
        {
            printf("%d", n);
            count ++;
            break;
        }
    }
    if(count == 0) printf("no");
    
    return 0;
}